منابع مشابه
DOP and FCP in Generic Structures
We work throughout in a finite relational language L. This paper is built on [2] and [3]. We repeat some of the basic notions and results from these papers for the convenience of the reader but familiarity with the setup in the first few sections of [3] is needed to read this paper. Spencer and Shelah [6] constructed for each irrational α between 0 and 1 the theory T α as the almost sure theory...
متن کاملFCP: functional coverage of the proteome by structures
MOTIVATION Tools and resources for translating the remarkable growth witnessed in recent years in the number of protein structures determined experimentally into actual gain in the functional coverage of the proteome are becoming increasingly necessary. We introduce FCP, a publicly accessible web tool dedicated to analyzing the current state and trends of the population of structures within pro...
متن کاملGeneric Structures ∗
In this paper, the theory of generic structures is put in a general, unified framework. The framework is applied to Hrushovski’s [8] universal domains and Poizat’s [11] bicoloured fields. Of particular interest will be the conditions under which generic structures are saturated.
متن کاملComputable Structures in Generic Extensions
In this paper, we investigate connections between structures present in every generic extension of the universe V and computability theory. We introduce the notion of generic Muchnik reducibility that can be used to to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of generic presentability, the existence of a co...
متن کاملGeneric Separable Metric Structures
We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik’s theorems on genericity and randomness of Urysohn’s space among separable metric spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1998
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2586841